منابع مشابه
Computer-aided Development of a Real-time Program Computer-aided Development of a Real-time Program
Note: Most SVRC technical reports are available via anonymous ftp, from svrc.it.uq.edu.au in the directory /pub/techreports. Abstracts and compressed postscript les are available via Abstract The reenement calculus is a well-established theory for formal development of imperative program code and is supported by a number of automated tools. Via a detailed case study, this article shows how reen...
متن کاملAdding Real Time to Formal Program Development
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.
متن کاملa swot analysis of the english program of a bilingual school in iran
با توجه به جایگاه زبان انگلیسی به عنوان زبانی بین المللی و با در نظر گرفتن این واقعیت که دولت ها و مسئولان آموزش و پرورش در سراسر جهان در حال حاضر احساس نیاز به ایجاد موقعیتی برای کودکان جهت یاد گیری زبان انگلیسی درسنین پایین در مدارس دو زبانه می کنند، تحقیق حاضر با استفاده از مدل swot (قوت ها، ضعف ها، فرصتها و تهدیدها) سعی در ارزیابی مدرسه ای دو زبانه در ایران را دارد. جهت انجام این تحقیق در م...
15 صفحه اولComputer-aided development of a real-time program
The refinement calculus is a well-established theory for formal development of imperative program code and is supported by a number of automated tools. Via a detailed case study, this article shows how refinement theory and tool support can be extended for a program with real-time constraints. The approach adapts a timed variant of the refinement calculus and makes corresponding enhancements to...
متن کاملTime Domain Flutter and Buffeting Response Analysis
A time domain approach for predicting the coupled flutter and buffeting response of long span bridges is presented. The frequency dependent unsteady aerodynamic forces are represented by the convolution integrals involving the aerodynamic impulse function and structural motions or wind fluctuations. The aerodynamic impulse functions are derived from experimentally measured flutter derivatives, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Korean Society for Aeronautical & Space Sciences
سال: 2017
ISSN: 1225-1348
DOI: 10.5139/jksas.2017.45.2.99